Colin Runciman: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (43)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Expressible sharing for functional circuit description

Matthew Naylor, Colin Runciman

Журнал:

Higher-Order and Symbolic Computation

Рік:

2009

Мова:

english

Файл:

PDF, 356 KB

english, 2009

2

The accepting power of unary string logic programs

Tatsuru Matsushita, Colin Runciman

Журнал:

Theoretical Computer Science

Рік:

2001

Мова:

english

Файл:

PDF, 175 KB

english, 2001

3

A Space Semantics for Core Haskell

Bakewell Adam, Runciman Colin

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2001

Мова:

english

Файл:

PDF, 29 KB

english, 2001

4

Relative specification and transformational re-use of functional programs

Colin Runciman, Nigel Jagger

Журнал:

Higher-Order and Symbolic Computation

Рік:

1990

Мова:

english

Файл:

PDF, 920 KB

english, 1990

5

Modula and a vision laboratory

Журнал:

International Journal of Man-Machine Studies

Рік:

1981

Мова:

english

Файл:

PDF, 828 KB

english, 1981

6

What about the natural numbers?

Журнал:

Computer Languages

Рік:

1989

Мова:

english

Файл:

PDF, 774 KB

english, 1989

7

Lag, drag, void and use---heap profiling and space-efficient compilation revisited

Röjemo, Niklas, Runciman, Colin

Журнал:

ACM SIGPLAN Notices

Рік:

1996

Мова:

english

Файл:

PDF, 915 KB

english, 1996

8

Inductive benchmarking for purely functional data structures

MOSS, GRAEME E., RUNCIMAN, COLIN

Журнал:

Journal of Functional Programming

Рік:

2001

Мова:

english

Файл:

PDF, 358 KB

english, 2001

9

Uptake and elution of chlormethiazole, meperidine, and minaxolone in the hindquarters of sheep: Implications for clearance calculations

Richard N. Upton, Laurence E. Mather, William B. Runciman, Colin F. McLean, Ronda J. Carapetis

Журнал:

Journal of Pharmaceutical Sciences

Рік:

1991

Мова:

english

Файл:

PDF, 547 KB

english, 1991

10

Equal opportunity interactive systems

Colin Runciman, Harold Thimbleby

Журнал:

International Journal of Man-Machine Studies

Рік:

1986

Мова:

english

Файл:

PDF, 812 KB

english, 1986

11

FAILURE OF THE KETY-SCHMIDT NITROUS OXIDE METHOD FOR DETERMINATION OF MYOCARDIAL BLOOD FLOW

Michael A. Reid, Laurence E. Mather, William B. Runciman, Colin F. McLean

Журнал:

Clinical and Experimental Pharmacology and Physiology

Рік:

1991

Мова:

english

Файл:

PDF, 878 KB

english, 1991

12

FAILURE OF THE NITROUS OXIDE TISSUE EQUILIBRATION METHOD FOR THE DETERMINATION OF BRAIN AND MYOCARDIAL BLOOD FLOW UNDER CONTROLLED CONDITIONS

Michael A. Reid, William B. Runciman, Colin F. McLean, Laurence E. Mather

Журнал:

Clinical and Experimental Pharmacology and Physiology

Рік:

1992

Мова:

english

Файл:

PDF, 358 KB

english, 1992

13

Extending a functional programming system for embedded applications

Malcolm Wallace, Colin Runciman

Журнал:

Software: Practice and Experience

Рік:

1995

Мова:

english

Файл:

PDF, 1.44 MB

english, 1995

14

The uptake and elution of lignocaine and procainamide in the hindquarters of the sheep described using mass balance principles

Richard N. Upton, William B. Runciman, Laurence E. Mather, Colin F. McLean, A. H. Ilsley

Журнал:

Journal of Pharmacokinetics and Pharmacodynamics

Рік:

1988

Мова:

english

Файл:

PDF, 591 KB

english, 1988

15

Adapting combinator and SECD machines to display snapshots of functional computations

Ian Toyn, Colin Runciman

Журнал:

New Generation Computing

Рік:

1986

Мова:

english

Файл:

PDF, 1.11 MB

english, 1986

16

Some software tools used in the development of the prototype york ada compiler

Runciman, Colin

Журнал:

Software Engineering Journal

Рік:

1987

Мова:

english

Файл:

PDF, 710 KB

english, 1987

17

Time for a fresh look at drug policy governance

Ruth Runciman, Colin Blakemore, Tracey Brown

Журнал:

Рік:

2010

Мова:

english

Файл:

PDF, 89 KB

english, 2010

18

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Finding Inputs that Reach a Target Expression

Naylor, Matthew, Runciman, Colin

Рік:

2007

Мова:

english

Файл:

PDF, 257 KB

english, 2007

19

The Reduceron reconfigured and re-evaluated

NAYLOR, MATTHEW, RUNCIMAN, COLIN

Журнал:

Journal of Functional Programming

Рік:

2012

Мова:

english

Файл:

PDF, 322 KB

english, 2012

20

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Experience report

Duke, David J., Borgo, Rita, Runciman, Colin, Wallace, Malcolm

Рік:

2008

Мова:

english

Файл:

PDF, 251 KB

english, 2008

21

[ACM Press the ACM SIGPLAN workshop - Freiburg, Germany (2007.09.30-2007.09.30)] Proceedings of the ACM SIGPLAN workshop on Haskell workshop - Haskell '07 - A functional-logic library for wired

Naylor, Matthew, Axelsson, Emil, Runciman, Colin

Рік:

2007

Мова:

english

Файл:

PDF, 208 KB

english, 2007

22

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Lag, drag, void and use---heap profiling and space-efficient compilation revisited

Röjemo, Niklas, Runciman, Colin

Рік:

1996

Мова:

english

Файл:

PDF, 915 KB

english, 1996

23

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - A model for comparing the space usage of lazy evaluators

Bakewell, Adam, Runciman, Colin

Рік:

2000

Мова:

english

Файл:

PDF, 371 KB

english, 2000

24

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Smallcheck and lazy smallcheck

Runciman, Colin, Naylor, Matthew, Lindblad, Fredrik

Рік:

2008

Мова:

english

Файл:

PDF, 309 KB

english, 2008

25

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The reduceron reconfigured

Naylor, Matthew, Runciman, Colin

Рік:

2010

Мова:

english

Файл:

PDF, 459 KB

english, 2010

26

Formalised development of software by machine assisted transformation

Runciman, Colin, Firth, Mike

Журнал:

ACM SIGSOFT Software Engineering Notes

Рік:

1990

Мова:

english

Файл:

PDF, 339 KB

english, 1990

27

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Not all patterns, but enough

Mitchell, Neil, Runciman, Colin

Рік:

2008

Мова:

english

Файл:

PDF, 264 KB

english, 2008

28

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - Lambdas in the liftshaft---functional programming and an embedded architecture

Wallace, Malcolm, Runciman, Colin

Рік:

1995

Мова:

english

Файл:

PDF, 791 KB

english, 1995

29

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - Widening the representation bottleneck

Cattrall, Dave, Runciman, Colin

Рік:

1993

Мова:

english

Файл:

PDF, 1000 KB

english, 1993

30

[ACM Press the 8th ACM SIGPLAN Symposium - Vancouver, BC, Canada (2015.09.03-2015.09.04)] Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 - Improving implicit parallelism

Trilla, José Manuel Calderón, Runciman, Colin

Рік:

2015

Мова:

english

Файл:

PDF, 467 KB

english, 2015

31

Expert system guides CAD for automatic assembly

Runciman, Colin, Swift, Ken

Журнал:

Assembly Automation

Рік:

1985

Мова:

english

Файл:

PDF, 465 KB

english, 1985

32

An incremental, exploratory and transformational environment for lazy functional programming

Runciman, Colin, Toyn, Ian, Firth, Mike

Журнал:

Journal of Functional Programming

Рік:

1993

Мова:

english

Файл:

PDF, 1.32 MB

english, 1993

33

FUNCTIONAL PEARL

RUNCIMAN, COLIN

Журнал:

Journal of Functional Programming

Рік:

1997

Мова:

english

Файл:

PDF, 122 KB

english, 1997

34

New dimensions in heap profiling

Runciman, Colin, Röjemo, Niklas

Журнал:

Journal of Functional Programming

Рік:

1996

Мова:

english

Файл:

PDF, 1.97 MB

english, 1996

35

Heap profiling of lazy functional programs

Runciman, Colin, Wakeling, David

Журнал:

Journal of Functional Programming

Рік:

1993

Мова:

english

Файл:

PDF, 1.70 MB

english, 1993

36

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Finding Inputs that Reach a Target Expression

Naylor, Matthew, Runciman, Colin

Рік:

2007

Мова:

english

Файл:

PDF, 257 KB

english, 2007

37

Experience report

Duke, David J., Borgo, Rita, Runciman, Colin, Wallace, Malcolm

Журнал:

ACM SIGPLAN Notices

Рік:

2008

Мова:

english

Файл:

PDF, 251 KB

english, 2008

38

The reduceron reconfigured

Naylor, Matthew, Runciman, Colin

Журнал:

ACM SIGPLAN Notices

Рік:

2010

Мова:

english

Файл:

PDF, 459 KB

english, 2010

39

Myocardial and Cerebral Drug Concentrations and the Mechanisms of Death after Fatal Intravenous Doses of Lidocaine, Bupivacaine, and Ropivacaine in the Sheep

Nancarrow, Craig, Rutten, Albert J., Runciman, William B., Mather, Laurence E., Carapetis, Ronda J., McLean, Colin F., Hipkins, Scott F.

Журнал:

Anesthesia & Analgesia

Рік:

1989

Мова:

english

Файл:

PDF, 665 KB

english, 1989

40

Not all patterns, but enough

Mitchell, Neil, Runciman, Colin

Журнал:

ACM SIGPLAN Notices

Рік:

2009

Мова:

english

Файл:

PDF, 264 KB

english, 2009

41

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - FitSpec: refining property sets for functional testing

Braquehais, Rudy, Runciman, Colin

Рік:

2016

Мова:

english

Файл:

PDF, 223 KB

english, 2016

42

[ACM Press the 29th Symposium - Bristol, United Kingdom (2017.08.30-2017.09.01)] Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages - IFL 2017 - Extrapolate

Braquehais, Rudy, Runciman, Colin

Рік:

2017

Файл:

PDF, 509 KB

2017

43

[ACM Press the 28th Symposium - Leuven, Belgium (2016.08.31-2016.09.02)] Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016 - A Lightweight Hat

Chitil, Olaf, Faddegon, Maarten, Runciman, Colin

Рік:

2016

Мова:

english

Файл:

PDF, 586 KB

english, 2016